Laura Lewis - Implementation Of Proofs Of Quantumness On An Ion-Trap Quantum Computer